home *** CD-ROM | disk | FTP | other *** search
/ Sprite 1984 - 1993 / Sprite 1984 - 1993.iso / src / cmds / gdb-4.5 / ds3100.md / gdb / doc / psrc.sed < prev    next >
Encoding:
Text File  |  1992-07-01  |  481 b   |  14 lines
  1. /font defs: ---/,/end font defs ---/c\
  2. %-------------------- PostScript (K Berry names) font defs: --------------\
  3. \\font\\bbf=ptmb at 10pt\
  4. \\font\\vbbf=ptmb at 12pt\
  5. \\font\\smrm=ptmr at 6pt\
  6. \\font\\brm=ptmr at 10pt\
  7. \\font\\rm=ptmr at 8pt\
  8. \\font\\it=ptmri at 8pt\
  9. \\font\\tt=pcrr at 8pt\
  10. % Used only for \copyright, replacing plain TeX macro.\
  11. \\font\\sym=psyr at 7pt\
  12. \\def\\copyright{{\\sym\\char'323}}\
  13. %-------------------- end font defs ---------------------------------
  14.